منابع مشابه
Indefinite waitings in MIRELA systems
MIRELA is a high-level language and a rapid prototyping framework dedicated to systems where virtual and digital objects coexist in the same environment and interact in real time. Its semantics is given in the form of networks of timed automata, which can be checked using symbolic methods. This paper shows how to detect various kinds of indefinite waitings in the components of such systems. The...
متن کاملTimoshenko Systems with Indefinite Damping
We consider the Timoshenko system in a bounded domain (0, L) ⊂ R1. The system has an indefinite damping mechanism, i.e. with a damping function a = a(x) possibly changing sign, present only in the equation for the rotation angle. We shall prove that the system is still exponentially stable under the same conditions as in the positive constant damping case, and provided a = ∫ L 0 a(x) dx > 0 and...
متن کاملExistence Results for Strongly Indefinite Elliptic Systems
In this paper, we show the existence of solutions for the strongly indefinite elliptic system −∆u = λu+ f(x, v) in Ω, −∆v = λv + g(x, u) in Ω, u = v = 0, on ∂Ω, where Ω is a bounded domain in RN (N ≥ 3) with smooth boundary, λk0 < λ < λk0+1, where λk is the kth eigenvalue of −∆ in Ω with zero Dirichlet boundary condition. Both cases when f, g being superlinear and asymptotically linear at infin...
متن کاملSymmetric indefinite systems for interior point methods
We present a unified framework for solving linear and convex quadratic programs via interior point methods. At each iteration, this method solves an indefinite system whose matrix is [_~-2 A v] instead of reducing to obtain the usual AD2A v system. This methodology affords two advantages: (1) it avoids the fill created by explicitly forming the product AD2A v when A has dense columns; and (2) i...
متن کاملParallel algorithms for indefinite linear systems
Saddle-point problems give rise to indefinite linear systems that are challenging to solve via iterative methods. This paper surveys two recent techniques for solving such problems arising in computational fluid dynamics. The systems are indefinite due to linear constraints imposed on the fluid velocity. The first approach, known as the multilevel algorithm, employs a hierarchical technique to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2015
ISSN: 2075-2180
DOI: 10.4204/eptcs.184.1